type T = { [[foo]]: X }
